repo is probably not technically offline, just out of reach

diff --git a/doc/bugs/__40__site__47__server__41___main_repository_offline_2025-01-07.mdwn b/doc/bugs/__40__site__47__server__41___main_repository_offline_2025-01-07.mdwn
index 010d826aad427561325c7bc137b93695eaea32a0..f0b5b049bf978c17de9ec1140acd27b8f961c823 100644 (file)
--- a/doc/bugs/__40__site__47__server__41___main_repository_offline_2025-01-07.mdwn
+++ b/doc/bugs/__40__site__47__server__41___main_repository_offline_2025-01-07.mdwn
@@ -1,6 +1,6 @@
 ### Please describe the problem.
 
-The main repository `git://git-annex.branchable.com/` seems to be offline at the moment.
+The main repository `git://git-annex.branchable.com/` seems to be out of reach at the moment.
 The mirror `git://git.joeyh.name/git-annex` seems to work.
 
 ### What steps will reproduce the problem?